<?php
session_start();

$_SESSION = array();
session_destroy();


if (!isset($_SESSION["pseudo"]) || empty($_SESSION["pseudo"])){
	header("location:login.php");
}
?>